Index of /Voevodsky/files/files-annotated/Dropbox/Submitted papers/Csystemfromamonad

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]2015_05_03_Csystemfr..>2016-01-30 19:08 621KPDF document file
[TXT]2015_08_16_Csystemfr..>2015-08-16 04:23 5.8KTeX bibliography items -- bibtex output, latex input
[ ]2015_08_16_Csystemfr..>2015-08-18 01:46 377KPDF document file
[ ]2015_08_16_Csystemfr..>2015-08-16 03:49 97KTeX source file
[ ]2015_09_11_Csystemfr..>2017-02-04 17:52 442KPDF document file
[ ]2015_09_11_Csystemfr..>2015-09-11 05:15 162KTeX source file
[ ]2015_11_20_Csystemfr..>2017-02-04 17:55 454KPDF document file
[ ]2015_11_20_Csystemfr..>2015-11-18 12:54 137KTeX source file
[ ]2016_01_13_Csystemfr..>2017-02-04 17:56 457KPDF document file
[ ]2016_01_13_Csystemfr..>2016-01-13 09:25 136KTeX source file
[TXT]2016_01_21_Csystemfr..>2017-02-06 06:26 5.4KTeX bibliography items -- bibtex output, latex input
[ ]2016_01_21_Csystemfr..>2017-02-06 07:22 394KPDF document file
[ ]2016_01_21_Csystemfr..>2017-02-06 07:22 93KTeX source file
[ ]2016_03_Csystemfroma..>2017-02-04 17:57 329KPDF document file
[ ]2016_03_Csystemfroma..>2017-01-23 08:39 89KTeX source file
[TXT]2017_04_18_for_Weave..>2017-04-18 11:44 8.7KTeX bibliography items -- bibtex output, latex input
[ ]2017_04_18_for_Weave..>2017-04-18 11:44 530KPDF document file
[ ]2017_04_18_for_Weave..>2017-04-18 11:44 94KTeX source file
[TXT]2017_05_03_Csystemfr..>2017-05-03 10:43 9.9KTeX bibliography items -- bibtex output, latex input
[ ]2017_05_03_Csystemfr..>2017-05-03 10:44 566KPDF document file
[ ]2017_05_03_Csystemfr..>2017-05-03 10:43 127KTeX source file
[TXT]2017_05_11_Csystemfr..>2017-05-12 06:49 10KTeX bibliography items -- bibtex output, latex input
[ ]2017_05_11_Csystemfr..>2017-05-12 06:49 567KPDF document file
[ ]2017_05_11_Csystemfr..>2017-05-12 06:50 127KTeX source file
[TXT]Csystemfromamonad_cu..>2017-05-01 06:37 10KTeX bibliography items -- bibtex output, latex input
[ ]Csystemfromamonad_cu..>2017-05-25 10:11 683KPDF document file
[ ]Csystemfromamonad_cu..>2017-05-25 11:13 195KTeX source file
[ ]Csystemfromamonad_su..>2017-05-25 08:42 240KPDF document file
[ ]Csystemfromamonad_su..>2017-05-25 08:43 43KTeX source file
[ ]Csystemoftermmodels_..>2016-01-13 09:11 136KTeX source file
[ ]Logical_framework_ki..>2017-03-11 15:22 131KPDF document file
[ ]Logical_framework_ki..>2017-03-11 19:33 6.7KTeX source file
[ ]Monadofsigwithbindin..>2017-02-04 17:58 201KPDF document file
[ ]Monadofsigwithbindin..>2014-07-16 03:37 17KTeX source file
[ ]Monadsofexpressions_..>2015-11-14 06:55 232KPDF document file
[ ]Monadsofexpressions_..>2014-06-30 08:40 29KTeX source file
[TXT]monadsofexpressions.bbl2015-11-22 11:20 1.0KTeX bibliography items -- bibtex output, latex input
[ ]monadsofexpressions.pdf2015-11-22 11:31 196KPDF document file
[ ]monadsofexpressions.tex2015-11-23 10:20 14KTeX source file